module Module

type T =
    static member (-) (_, _) = ()
